$\forall$$i$, $j$:$\mathbb{N}$. ($i$ $\leq$ $j$) $\Rightarrow$ upto($i$) $\leq$ upto($j$)